Modelling Resource Bounded Reasoners: An Example
نویسنده
چکیده
We present Timed Reasoning Logics (TRL) as a framework that allows one to model multiagent systems over time without assuming agents are logically omniscient. TRL can be seen as a combination of syntactic epistemic logics and temporal logics. This paper is primarily concerned with illustrating TRL concepts using a propositional natural deduction-style reasoner, which derives consequences of its beliefs over time. We show the logic used to model the reasoner, which we call TRL(ND), is sound, complete and decidable.
منابع مشابه
Modelling Communicating Agents in Timed Reasoning Logics
Practical reasoners are resource-bounded—in particular they require time to derive consequences of their knowledge. Building on the Timed Reasoning Logics (TRL) framework introduced in [1], we show how to represent the time required by an agent to reach a given conclusion. TRL allows us to model the kinds of rule application and conflict resolution strategies commonly found in rule-based agents...
متن کاملReasoning about Other Agents' Beliefs under Bounded Resources
There exists a considerable body of work on epistemic logics for bounded reasoners where the bound can be time, memory, or the amount of information the reasoners can exchange. In much of this work the epistemic logic is used as a meta-logic to reason about beliefs of the bounded reasoners from an external perspective. In this paper, we present a formal model of a system of bounded reasoners wh...
متن کاملBelief ascription under bounded resources
There exists a considerable body of work on epistemic logics for resource-bounded reasoners. In this paper, we concentrate on a less studied aspect of resource-bounded reasoning, namely, on the ascription of beliefs and inference rules by the agents to each other. We present a formal model of a system of bounded reasoners which reason about each other’s beliefs, and investigate the problem of b...
متن کاملFundamentals of 3D modelling and resource estimation in coal mining
The prerequisite of maintaining an efficient and safe mining operation is the proper design of a mine by considering all aspects. The first step in a coal mine design is a realistic geometrical modelling of the coal seam(s). The structural features such as faults and folding must be reliably implemented in 3D seam models. Upon having a consistent seam model, the attributes such as calorific val...
متن کاملPreliminary Empirical Results on Anytime Propositional Reasoning (Abstract)
An anytime family of propositional reasoners is a sequence `0;`1; : : : of inference relations such that each `k is sound, tractable, and makes more inferences than `k 1, and each theory has a complete reasoner in the family. Anytime families are useful for resource-bounded reasoning in knowledge representation systems. We describe implementations of an anytime family f`kg of clausal propositio...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004